Decision logic for anglo-american cataloguing rules. XXI: «Choice of access points»COCKSHUTT, M. E; COOK, C. D; SCHABAS, A. H et al.Library resources & technical services. 1983, Vol 27, Num 4, pp 371-390, issn 0024-2527Article

Logistisches Wachstum in fluktuierender UmweltARRIGONI, M; STEINER, A.Journal of mathematical biology (Print). 1985, Vol 21, Num 3, pp 237-241, issn 0303-6812Article

Logical elements in living cellsKREMEN, A.Journal of theoretical biology. 1984, Vol 111, Num 1, pp 47-60, issn 0022-5193Article

Logic modelingKIMBROUGH, Steven O.Decision support systems. 1998, Vol 22, Num 3, issn 0167-9236, 109 p.Serial Issue

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article

Hyperfinite models of adapted probability logicKEISLER, H. J.Annals of pure and applied logic. 1986, Vol 31, Num 1, pp 71-86, issn 0168-0072Article

Prise de décisions dans la commande des processus de production sur la base d'un algorithme de reconnaissance flouKARELIN, V. P; KOVALEV, S. M; MELIKHOV, A. N et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 6, pp 100-105, issn 0002-3388Article

Sur les dépendances temporelles dans les bases de donnéesVALIEV, M. K.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 1, pp 106-115, issn 0002-3388Article

Nonspliting subset of #7B-P#7B-K(#7B-K⁺)GITIK, M.The Journal of symbolic logic. 1985, Vol 50, Num 4, pp 881-894, issn 0022-4812Article

Towards a formalization of disease-specific ontologies for neuroinformaticsGUPTA, Amarnath; LUDÄSCHER, Bertram; GRETHE, Jeffrey S et al.Neural networks. 2003, Vol 16, Num 9, pp 1277-1292, issn 0893-6080, 16 p.Article

Classification and universality of reversible logic elements with one-bit memoryMORITA, Kenichi; OGIRO, Tsuyoshi; TANAKA, Keiji et al.Lecture notes in computer science. 2005, pp 245-256, issn 0302-9743, isbn 3-540-25261-4, 12 p.Conference Paper

A strong relevant logic model of epistemic processes in scientific discoveryJINDGE CHENG.Lecture notes in computer science. 1998, pp 403-404, issn 0302-9743, isbn 3-540-65390-2Conference Paper

Models of lower-bounds proofsNIGMATULLIN, R. G.Theoretical computer science. 1987, Vol 52, Num 3, pp 239-249, issn 0304-3975Article

Monadic binary relations and the monad systems at near-standard pointsVAKIL, N.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 689-697, issn 0022-4812Article

Nekonstruktiviziruemye formal'nye arifmeticheskie strukturyTVERSKOJ, A. A.Izvestiâ Akademii nauk SSSR. Seriâ matematičeskaâ. 1987, Vol 51, Num 1, pp 111-130, issn 0373-2436Article

Definability in the Turing degreesSLAMAN, T. A; WOODIN, W. H.Illinois journal of mathematics. 1986, Vol 30, Num 2, pp 320-334, issn 0019-2082Article

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

On the logical modeling of ETL processesVASSILIADIS, Panos; SIMITSIS, Alkis; SKIADOPOULOS, Spiros et al.Lecture notes in computer science. 2002, pp 782-786, issn 0302-9743, isbn 3-540-43738-X, 5 p.Conference Paper

L'analyse Implicative Bayésienne, une méthode pour l'étude des dépendances orientées. II : Modèle logique sur un tableau de contingence = Bayesian Implicative Analysis, a method for the study of oriented dependencies. II : Logical model on a contengency tableBERNARD, J.-M; CHARRON, C.Mathématiques, informatique et sciences humaines. 1996, Num 135, pp 5-18, issn 0995-2314Article

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modeling logic systems with structured array-based logicDAVIDRAJUH, Reggie; HUSSEIN, Bassam.Modeling, identification and control. 2003, Vol 24, Num 1, pp 27-35, issn 0332-7353, 9 p.Article

Motivational attitudes of agents: On desires, obligations, and normsDIGNUM, Frank; KINNY, David; SONENBERG, Liz et al.Lecture notes in computer science. 2002, pp 83-92, issn 0302-9743, isbn 3-540-43370-8Conference Paper

A new approach toward modeling causality in commonsense reasoningSUN, R.International journal of intelligent systems. 1995, Vol 10, Num 6, pp 581-616, issn 0884-8173Article

Bases de données déductives dans les systèmes de gestionVAGIN, V. N; GOLOVKO, A. V.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1987, Num 2, pp 60-73, issn 0002-3388Article

Peano arithmetic and hyper-Ramsey logicSCHMERL, J. H.Transactions of the American Mathematical Society. 1986, Vol 296, Num 2, pp 481-505, issn 0002-9947Article